REF, NoConds
ParallelOp $hyp == ParallelOp ( $hyp) 

latex

Up	Tactics as terms
FDL editor aliases	-par